Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท3d
๐ŸŽฏProof Tactics
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
English - the hottest programming language of the future
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Language Evolution
My BTL1 Review
infosecwriteups.comยท8h
๐Ÿ”Certificate Analysis
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท19h
๐Ÿฆ€Rust Verification
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.orgยท1d
๐Ÿ’ปProgramming languages
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท1d
๐Ÿ”—Functional Compilers
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”’Language-based security